Tipo	Título	Autor	Edición	Disponibilidad	Valoración
Analítica	Duration calculus semantics for statecharts	Felder, Miguel A.	EN: CACIC 2001 [CD-ROM] Edición: 1a ed. (2001) (Libro)		----------
Tesis	TRIO o cómo ahora las tautologías son tautologías y el infinito es infinito:	Turquie, Isaac Carlos	(1996)	Sala	----------
Tesis	Una teoría dinámica orientada a objetos como fundamento formal para el proceso de desarrollo de software basado en modelos:	Pons, Claudia Fabiana	(1999)	Sala	----------